The book is written for graduate students who have read the first book and like to see the proofs which were not given there and/or want to see the full extent of the theory. On the other hand it can be read independently from the first one, only a modest knowledge on Fourier series/tranform is required to understand the examples. This book fills a major gap in the textbook li...(展开全部)

The book is written for graduate students who have read the first book and like to see the proofs which were not given there and/or want to see the full extent of the theory. On the other hand it can be read independently from the first one, only a modest knowledge on Fourier series/tranform is required to understand the examples. This book fills a major gap in the textbook li...(展开全部)

This book offers a complete and streamlined treatment of the central principles of abelian harmonic analysis: Pontryagin duality, the Plancherel theorem and the Poisson summation formula, as well as their respective generalizations to non-abelian groups, including the Selberg trace formula. The principles are then applied to spectral analysis of Heisenberg manifolds and Riemann...(展开全部)

This book offers a complete and streamlined treatment of the central principles of abelian harmonic analysis: Pontryagin duality, the Plancherel theorem and the Poisson summation formula, as well as their respective generalizations to non-abelian groups, including the Selberg trace formula. The principles are then applied to spectral analysis of Heisenberg manifolds and Riemann...(展开全部)

Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing an overview of the four major approaches to pr...(展开全部)

Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing an overview of the four major approaches to pr...(展开全部)

Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing an overview of the four major approaches to pr...(展开全部)

Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing an overview of the four major approaches to pr...(展开全部)

This book provides the first coherent account of the area of analysis that involves the Heisenberg group, quantization, the Weyl calculus, the metaplectic representation, wave packets, and related concepts. This circle of ideas comes principally from mathematical physics, partial differential equations, and Fourier analysis, and it illuminates all these subjects. The principal ...(展开全部)